Boolean function - PDFSEARCH.IO - Document Search Engine

Boolean function
Results: 326

#	Item
91	The Elements of Computing Systems Add to Reading List Source URL: www.nand2tetris.org Language: English - Date: 2012-07-23 06:34:26 Boolean algebra Logic gates Algebraic logic Propositional calculus Logical connectives XOR gate Boolean function AND gate OR gate Abstract algebra Mathematical logic Mathematics
92	Journal of Machine Learning Research[removed] Submitted 07/03; Published ??/0? Logic, Trees and Kernels Adam Kowalczyk Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2005-03-22 08:15:12 Hilbert space Boolean algebra Fourier analysis Reproducing kernel Hilbert space Fourier transform Parity function Mathematical analysis Mathematics Abstract algebra
93	Microsoft Word - General.doc Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:05 Data types Type theory Procedural programming languages Primitive types Ada XL Type conversion Boolean data type Function Software engineering Computing Computer programming
94	Category Theory for Dummies (I) James Cheney Programming Languages Discussion Group Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-10-30 05:46:14 Linear algebra Model theory Abstract algebra Boolean algebra Vector space Continuous function Structure Tychonoff space Orbifold Algebra Mathematics Mathematical structures
95	Relational Dynamic Influence Diagram Language (RDDL): Language Description Scott Sanner ([removed]) NICTA and the Australian National University Abstract The Relational Dynamic Influence Diagram Language (RDDL) i Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-10-06 22:20:08 Automated planning and scheduling Planning Domain Definition Language Logic in computer science Semantics Boolean algebra Fluent Bernoulli distribution FO Function Mathematics Mathematical logic Theoretical computer science
96	Propositional Encoding of Constraints over Tree-Shaped Data Johannes Waldmann and Alexander Bau HTWK Leipzig, Germany {waldmann,abau}@imn.htwk-leipzig.de Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-22 03:33:16 Propositional calculus Boolean algebra Constraint programming Formal languages Model theory Boolean satisfiability problem String Propositional formula Function Mathematics Logic Mathematical logic
97	Principles of Artificial Intelligence Fall 2005 Handout #5 Deliberative Agents Vasant Honavar Artificial Intelligence Research Laboratory Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2009-08-25 18:32:21 Model theory Predicate logic Boolean algebra Propositional calculus Atomic sentence Unification Function First-order logic If and only if Logic Mathematical logic Mathematics
98	Million-scale Derivation of Semantic Relations from a Manually Constructed Predicate Taxonomy Motoki Sano∗ Kentaro Torisawa† Julien Kloetzer‡ Chikara Hashimoto § Istv´an Varga¶ Jong-Hoon Oh∥ ∗†‡§∥ Add to Reading List Source URL: www.aclweb.org Language: English - Date: 2014-08-08 12:23:41 Logical consequence Algebraic logic Computational linguistics Entailment Metalogic Function Modal logic Boolean algebra Event Logic Mathematics Philosophical logic
99	A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions. I. The Two-Level Case. Calogero G. Zarba ([removed]) LORIA and INRIA-Lorraine 615, rue du Jardin Botan Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:40:27 Logic in computer science Model theory Boolean algebra Boolean satisfiability problem Electronic design automation Interpretation Symbol Function Mathematics Theoretical computer science Mathematical logic
100	The topology of Seemingly impossible functional programs The only difference between reality and fiction is that fiction needs to be credible. Mark Twain Mart´ın Escard´ Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-01-28 17:00:50 Discrete space Continuous function Compact space Boolean algebra Stone functor Topology General topology Topological spaces

UPDATE